NullMachine $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$($\lambda$$b$,$s$. inr($\cdot$))$,\,$($\lambda$$k$,$v$,$s$. $s$)$,\,$($\lambda$$k$,$v$,$s$. nil)$\rangle$